University of Birmingham - PDFSEARCH.IO - Document Search Engine

University of Birmingham
Results: 2922

#	Item
221	Automatic verification of privacy properties in the applied pi calculus? St´ephanie Delaune1,2 , Mark Ryan1 , and Ben Smyth1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: bensmyth.com Language: English - Date: 2012-08-05 11:53:58
222	An Implemented Context System that Combines Belief Reasoning, Metaphor-Based Reasoning and Uncertainty Handling John A. Barnden and Mark G. Lee School of Computer Science, The University of Birmingham Birmingham, B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-05-10 14:33:21
223	O.C.D – MANAGING THE BALANCE BETWEEN ADMISSIONS AND ATHLETICS Laura Dicas – University of Alabama Birmingham Joe Madigan – Florida Southern College Add to Reading List Source URL: www.sacac.org Language: English - Date: 2015-08-19 13:38:16
224	Verifiably accountable surveillance Mark D. Ryan and Jia Liu University of Birmingham March 13, 2014 Abstract Add to Reading List Source URL: imm.dtu.dk Language: English - Date: 2014-03-13 07:08:18
225	Model checking agent knowledge in dynamic access control policies Masoud Koleini, Eike Ritter and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-02-26 16:27:34
226	Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-04-20 09:42:28
227	Towards Modelling and Verifying Dynamic Access Control Policies for Web-based Collaborative Systems Hasan Qunoo, Masoud Koleini and Mark Ryan School of Computer Science, University of Birmingham, UK Abstract. We propose Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-14 12:02:36
228	Dening Features for CSP: Re e tions on the Feature Intera tion Contest Malte Plath1 and Mark Dermot Ryan1 S hool of Computer S ien e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m p,mdr s.bham.a . Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:35:10
229	The College of Traffic Management in collaboration with the University of Birmingham and the International Road Federation (Geneva) announce the first Road Safety Management Course to be held in India from 22 to 26 Febru Add to Reading List Source URL: www.irte.com Language: English - Date: 2016-02-12 07:28:30
230	Escrowed Data and the Digital Envelope King Ables and Mark D. Ryan University of Birmingham, UK 1 1.1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-08-12 11:16:19

UPDATE